abs{-}R($C$;${\it Out}$)($i$,$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$($e$ $\in_{b}$ ${\it Out}$)) \& (${\it Out}$($e$).1) = $i$ $\in$ $C$